Kozen, A. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (278)
Les plus populaires
Liste
- Liste
- Tableau

1

On Moessner’s Theorem

Dexter Kozen, Alexandra Silva

Journal:

American Mathematical Monthly

Année:

2013

Langue:

english

Fichier:

PDF, 230 KB

english, 2013

2

Nanoscale Solid State Batteries Enabled by Thermal Atomic Layer Deposition of a Lithium Polyphosphazene Solid State Electrolyte

Pearse, Alexander J., Schmitt, Thomas E., Fuller, Elliot J., El-Gabaly, Farid, Lin, Chuan-Fu, Gerasopoulos, Konstantinos, Kozen, Alexander C., Talin, A. Alec, Rubloff, Gary, Gregorczyk, Keith E.

Journal:

Chemistry of Materials

Année:

2017

Langue:

english

Fichier:

PDF, 10.32 MB

english, 2017

3

A clique problem equivalent to graph isomorphism

Journal:

ACM SIGACT News

Année:

1978

Langue:

english

Fichier:

PDF, 173 KB

english, 1978

4

46.5-GHz-bandwidth monolithic receiver OEIC consisting of a waveguide p-i-n photodiode and a HEMT distributed amplifier

Takahata, K., Muramoto, Y., Fukano, H., Kato, K., Kozen, A., Nakajima, O., Matsuoka, Y.

Journal:

IEEE Photonics Technology Letters

Année:

1998

Langue:

english

Fichier:

PDF, 73 KB

english, 1998

5

Next-Generation Lithium Metal Anode Engineering via Atomic Layer Deposition

Kozen, Alexander C., Lin, Chuan-Fu, Pearse, Alexander J., Schroeder, Marshall A., Han, Xiaogang, Hu, Liangbing, Lee, Sang-Bok, Rubloff, Gary W., Noked, Malachi

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 86.95 MB

english, 2015

6

Process logic: Expressiveness, decidability, completeness

David Harel, Dexter Kozen, Rohit Parikh

Journal:

Journal of Computer and System Sciences

Année:

1982

Langue:

english

Fichier:

PDF, 1.66 MB

english, 1982

7

Results on the propositional μ-calculus

Journal:

Theoretical Computer Science

Année:

1983

Langue:

english

Fichier:

PDF, 1.94 MB

english, 1983

8

A zero-one law for logic with a fixed-point operator

Andreas Blass, Yuri Gurevich, Dexter Kozen

Journal:

Information and Control

Année:

1985

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1985

9

Significance of hyperuricemia as a risk factor for developing ESRD in a screened cohort

Kunitoshi Iseki, Yoshiharu Ikemiya, Taku Inoue, Chiho Iseki, Kozen Kinjo, Shuichi Takishita

Journal:

American Journal of Kidney Diseases

Année:

2004

Langue:

english

Fichier:

PDF, 640 KB

english, 2004

10

110-GHz, 50%-efficiency mushroom-mesa waveguide p-i-n photodiode for a 1.55-/spl mu/m wavelength

Kato, K., Kozen, A., Muramoto, Y., Itaya, Y., Nagatsuma, T., Yaita, M.

Journal:

IEEE Photonics Technology Letters

Année:

1994

Langue:

english

Fichier:

PDF, 252 KB

english, 1994

11

[IEEE 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Houston, TX, USA (1976.10.25-1976.10.27)] 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - On parallelism in turing machines

Année:

1976

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1976

12

KAT-ML: an interactive theorem prover for Kleene algebra with tests

Aboul-Hosn, Kamal, Kozen, Dexter

Journal:

Journal of Applied Non-Classical Logics

Année:

2006

Langue:

english

Fichier:

PDF, 226 KB

english, 2006

13

Fabrication of 3D Core–Shell Multiwalled Carbon Nanotube@RuO 2 Lithium-Ion Battery Electrodes through a RuO 2 Atomic Layer Deposition Process

Gregorczyk, Keith E., Kozen, Alexander C., Chen, Xinyi, Schroeder, Marshall A., Noked, Malachi, Cao, Anyuan, Hu, Liangbing, Rubloff, Gary W.

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2015

14

Redress as American-style justice: Congressional narratives of Japanese American redress at the end of the Cold War

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 141 KB

english, 2012

15

Atomic Layer Deposition of the Solid Electrolyte LiPON

Kozen, Alexander C., Pearse, Alexander J., Lin, Chuan-Fu, Noked, Malachi, Rubloff, Gary W.

Journal:

Chemistry of Materials

Année:

2015

Langue:

english

Fichier:

PDF, 5.25 MB

english, 2015

16

Substructural logic and partial correctness

Kozen, Dexter, Tiuryn, Jerzy

Journal:

ACM Transactions on Computational Logic

Année:

2003

Langue:

english

Fichier:

PDF, 195 KB

english, 2003

17

Three-Dimensional Solid-State Lithium-Ion Batteries Fabricated by Conformal Vapor-Phase Chemistry

Pearse, Alexander, Schmitt, Thomas, Sahadeo, Emily, Stewart, David M, Kozen, Alexander, Gerasopoulos, Konstantinos, Talin, A. Alec, Lee, Sang Bok, Rubloff, Gary W., Gregorczyk, Keith E

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 1.33 MB

english, 2018

18

The complexity of elementary algebra and geometry

Michael Ben-Or, Dexter Kozen, John Reif

Journal:

Journal of Computer and System Sciences

Année:

1986

Langue:

english

Fichier:

PDF, 750 KB

english, 1986

19

191: An Alternative Field Hemostatic Agent? Comparison of a New Chitosan Granule Dressing to Existing Chitosan Wafer, Zeolite and Standard Dressings, in a Lethal Hemorrhagic Groin Injury

B. Kozen, S. Kircher, J. Henao, F. Godinez, A. Johnson

Journal:

Annals of Emergency Medicine

Année:

2007

Langue:

english

Fichier:

PDF, 69 KB

english, 2007

20

Efficient inference of partial types

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Journal:

Journal of Computer and System Sciences

Année:

1994

Langue:

english

Fichier:

PDF, 799 KB

english, 1994

21

Prevalence of anemia according to stage of chronic kidney disease in a large screening cohort of Japanese

Kentaro Kohagura, Nozomi Tomiyama, Kozen Kinjo, Shuichi Takishita, Kunitoshi Iseki

Journal:

Clinical and Experimental Nephrology

Année:

2009

Langue:

english

Fichier:

PDF, 179 KB

english, 2009

22

Kleene Algebra and Bytecode Verification

Łucja Kot, Dexter Kozen

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 270 KB

english, 2005

23

Alternation

Chandra, Ashok K., Kozen, Dexter C., Stockmeyer, Larry J.

Journal:

Journal of the ACM

Année:

1981

Langue:

english

Fichier:

PDF, 1.12 MB

english, 1981

24

[Lecture Notes in Computer Science] Logics of Programs Volume 131 || Design and synthesis of synchronization skeletons using branching time temporal logic

Année:

1982

Langue:

english

Fichier:

PDF, 953 KB

english, 1982

25

New ion-implantation method for 4-µm period bubble device

Hyuga, F., Shinohara, M., Kozen, A., Hirano, M., Tsuzuki, N.

Journal:

IEEE Transactions on Magnetics

Année:

1984

Langue:

english

Fichier:

PDF, 221 KB

english, 1984

26

1-µm bubble ion-implanted devices with two-level ion-implanted layers between propagation tracks

Shinohara, M., Hyuga, F., Kozen, A., Hirano, M., Tsuzuki, N.

Journal:

IEEE Transactions on Magnetics

Année:

1985

Langue:

english

Fichier:

PDF, 407 KB

english, 1985

27

Electro-optic characterisation of ultrafast photodetectors using adiabatically compressed soliton pulses

Nagatsuma, T., Yaita, M., Shinagawa, M., Kato, K., Kozen, A., Iwatsuki, K., Suzuki, K.

Journal:

Electronics Letters

Année:

1994

Langue:

english

Fichier:

PDF, 309 KB

english, 1994

28

Ultrafast monolithic receiver OEIC composed of multimode waveguide p-i-n photodiode and HEMT distributed amplifier

Takahata, K., Muramoto, Y., Fukano, H., Kato, K., Kozen, A., Kimura, S., Imai, Y., Miyamoto, Y., Nakajima, O., Matsuoka, Y.

Journal:

IEEE Journal of Selected Topics in Quantum Electronics

Année:

2000

Langue:

english

Fichier:

PDF, 258 KB

english, 2000

29

[Lecture Notes in Computer Science] Logics of Programs Volume 164 || An interval-based temporal logic

Clarke, Edmund, Kozen, Dexter

Année:

1984

Langue:

english

Fichier:

PDF, 944 KB

english, 1984

30

High-speed monolithic receiver OEIC consisting of a waveguide p-i-n photodiode and HEMT's

Muramoto, Y., Kato, K., Akahori, Y., Ikeda, M., Kozen, A., Itaya, Y.

Journal:

IEEE Photonics Technology Letters

Année:

1995

Langue:

english

Fichier:

PDF, 294 KB

english, 1995

31

10-Gb/s two-channel monolithic photoreceiver array using waveguide p-i-n PDs and HEMTs

Takahata, K., Muramoto, Y., Akatsu, Y., Akahori, Y., Kozen, A., Itaya, Y.

Journal:

IEEE Photonics Technology Letters

Année:

1996

Langue:

english

Fichier:

PDF, 352 KB

english, 1996

32

Highly efficient 40 GHz waveguide InGaAs p-i-n photodiode employing multimode waveguide structure

Kato, K., Hata, S., Kozen, A., Yoshida, J.-I., Kawano, K.

Journal:

IEEE Photonics Technology Letters

Année:

1991

Langue:

english

Fichier:

PDF, 296 KB

english, 1991

33

High-efficiency waveguide InGaAs pin photodiode with bandwidth of over 40 GHz

Kato, K., Hata, S., Kozen, A., Yoshida, J.-I., Kawano, K.

Journal:

IEEE Photonics Technology Letters

Année:

1991

Langue:

english

Fichier:

PDF, 228 KB

english, 1991

34

From nanoscience to solutions in electrochemical energy storage

Rubloff, Gary W., Kozen, Alexander C., Bok Lee, Sang

Journal:

Journal of Vacuum Science & Technology A Vacuum Surfaces and Films

Année:

2013

Langue:

english

Fichier:

PDF, 5.14 MB

english, 2013

35

Automata and Computability ||

Kozen, Dexter C.

Année:

1997

Langue:

english

Fichier:

PDF, 23.56 MB

english, 1997

36

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - A completeness theorem for Kleene algebras and the algebra of regular events

Année:

1991

Langue:

english

Fichier:

PDF, 815 KB

english, 1991

37

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Rabin measures and their applications to fairness and automata theory

Klarlund, N., Kozen, D.

Année:

1991

Langue:

english

Fichier:

PDF, 854 KB

english, 1991

38

An all-in-one nanopore battery array

Liu, Chanyuan, Gillette, Eleanor I., Chen, Xinyi, Pearse, Alexander J., Kozen, Alexander C., Schroeder, Marshall A., Gregorczyk, Keith E., Lee, Sang Bok, Rubloff, Gary W.

Journal:

Nature Nanotechnology

Année:

2014

Langue:

english

Fichier:

PDF, 4.55 MB

english, 2014

39

[IEEE 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) - Ann Arbor, MI, USA (1978.10.16-1978.10.18)] 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) - On the power of the compass (or, why mazes are easier to search than graphs)

Blum, Manuel, Kozen, Dexter

Année:

1978

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1978

40

The Design and Analysis of Algorithms ||

Kozen, Dexter C.

Année:

1992

Langue:

english

Fichier:

PDF, 20.81 MB

english, 1992

41

On Hoare logic and Kleene algebra with tests

Journal:

ACM Transactions on Computational Logic

Année:

2000

Langue:

english

Fichier:

PDF, 131 KB

english, 2000

42

A note on the complexity of propositional Hoare logic

Cohen, Ernie, Kozen, Dexter

Journal:

ACM Transactions on Computational Logic

Année:

2000

Langue:

english

Fichier:

PDF, 62 KB

english, 2000

43

[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - Indexing of subrecursive classes

Année:

1978

Langue:

english

Fichier:

PDF, 685 KB

english, 1978

44

High-efficiency, zero-bias waveguide pin photodiode for low-power-consumption optical hybrid modules

Muramoto, Y., Kato, K., Kozen, A., Ueki, M., Noguchi, K., Akatsu, Y., Nakajima, O.

Journal:

Electronics Letters

Année:

1997

Langue:

english

Fichier:

PDF, 79 KB

english, 1997

45

Electrode Degradation Study of Vertically Aligned Carbon Nanotubes on a 3D Integrated Current Collector

Schroeder, Marshall A., Pearse, Alexander J., Kozen, Alexander C., Lee, Sang Bok, Rubloff, Gary W., Noked, Malachi

Journal:

Journal of The Electrochemical Society

Année:

2015

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2015

46

Solid Electrolyte Lithium Phosphous Oxynitride as a Protective Nanocladding Layer for 3D High-Capacity Conversion Electrodes

Lin, Chuan-Fu, Noked, Malachi, Kozen, Alexander C., Liu, Chanyuan, Zhao, Oliver, Gregorczyk, Keith, Hu, Liangbing, Lee, Sang Bok, Rubloff, Gary W.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 6.84 MB

english, 2016

47

[Lecture Notes in Computer Science] Logics of Programs Volume 131 || Some connections between iterative programs, recursive programs, and first-order logic

Année:

1982

Langue:

english

Fichier:

PDF, 836 KB

english, 1982

48

Cadmium and zinc 8-hydroxyquinolates precipitated from homogeneous solution and by the conventional method

TAKIYAMA, Kazuyoshi, KOZEN, Terumi

Journal:

Année:

1973

Fichier:

PDF, 10.43 MB

1973

49

Coprecipitation of cadmium with calcium oxalate from homogeneous solution

TAKIYAMA, Kazuyoshi, KOZEN, Terumi

Journal:

Année:

1970

Fichier:

PDF, 6.18 MB

1970

50

Impact of Priority Sequencing Decisions on On-Time Probability and Expected Tardiness of Orders in Make-To-Order Production Systems with External Due-Dates

Öner-Közen, Miray, Minner, Stefan

Journal:

European Journal of Operational Research

Année:

2017

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2017